Ralph-Johan Back: search on Z-Library

Fundraising September 15, 2024 – October 1, 2024 About fundraising

Your gateway to knowledge and culture. Accessible for everyone.

Fundraising September 15, 2024 – October 1, 2024

Z-Library is one of the largest online libraries in the world that contains over 17,000,000 books and 84,837,000 articles. We aim to make literature accessible to everyone. Today (September 15, 2024) we've started additional fundraising to project maintenance and development.

Also UNLIMITED downloads (for 31 days after the day of making donation) are available for ALL contributors who will donate during the fundraising period till October 1, 2024.

About fundraisingRead more

Make a donation

Books (11)
Most Popular
List
- List
- Table

1

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21–25, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Chris George, Huaikou Miao (eds.)

Year:

2002

Language:

english

File:

PDF, 5.96 MB

0 / 0

english, 2002

2

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Susanna Donatelli, P. S. Thiagarajan (eds.)

Year:

2006

Language:

english

File:

PDF, 5.83 MB

0 / 0

english, 2006

3

Transactions on Computational Systems Biology XI

Transactions on Computational Systems Biology XI

Springer Berlin Heidelberg

Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)

Year:

2009

Language:

english

File:

PDF, 4.48 MB

0 / 0

english, 2009

4

Transactions on Computational Systems Biology XIII

Transactions on Computational Systems Biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Year:

2011

Language:

english

File:

PDF, 3.27 MB

0 / 0

english, 2011

5

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Algebraic Methodology and Software Technology: 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Michael Johnson, Varmo Vene (eds.)

Year:

2006

Language:

english

File:

PDF, 4.02 MB

0 / 0

english, 2006

6

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Systems Marktoberdorf, Germany 3–15 August 2004

Springer Netherlands

Ralph-Johan Back (auth.), Manfred Broy, Johannes Grünbauer, David Harel, Tony Hoare (eds.)

Year:

2005

Language:

english

File:

PDF, 6.11 MB

0 / 0

english, 2005

7

Transactions on Computational Systems Biology XI

Transactions on Computational Systems Biology XI

Springer Berlin Heidelberg

Muffy Calder, Jane Hillston (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre (eds.)

Year:

2009

Language:

english

File:

PDF, 4.62 MB

0 / 0

english, 2009

8

Refinement Calculus: A Systematic Introduction

Refinement Calculus: A Systematic Introduction

Ralph-Johan Back, Joakim von Wright

Year:

1998

Language:

english

File:

PDF, 19.62 MB

0 / 0

english, 1998

9

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Andrew Butterfield (eds.)

Year:

2010

Language:

english

File:

PDF, 2.49 MB

0 / 0

english, 2010

10

Transactions on computational systems biology XIII

Transactions on computational systems biology XIII

Springer-Verlag Berlin Heidelberg

Antti Häkkinen, Fred G. Biddle (auth.), Corrado Priami, Ralph-Johan Back, Ion Petre, Erik de Vink (eds.)

Year:

2011

Language:

english

File:

PDF, 3.25 MB

0 / 0

english, 2011

11

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Unifying Theories of Programming: Second International Symposium, UTP 2008, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Ralph-Johan Back (auth.), Andrew Butterfield (eds.)

Year:

2010

Language:

english

File:

PDF, 2.59 MB

0 / 0

english, 2010